Analyzing Lisp Redux: One Form At a Time
funcall.blogspot.com·2h·
Discuss: www.blogger.com
🧼Lisp Hygiene
A Lisp compiler to ARM written in Lisp (2)
forum.ulisp.com·4h·
Discuss: Hacker News
🌱Minimal Lisps
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·19h·
Discuss: Hacker News, r/programming, r/rust
🧩Constraint Solvers
Logic's Hidden States: Unlock Debugging Superpowers with Algebraic Thinking by Arvind Sundararajan
dev.to·4h·
Discuss: DEV
🧮Theorem Provers
Show HN: Semlib – Semantic Data Processing
github.com·3h·
Discuss: Hacker News
🔍ML Language
Introducing the Constexpr Debugger
blog.jetbrains.com·9h·
Discuss: Lobsters, Hacker News, r/cpp
🔍Debugging Compilers
Extensibility In Lisp And Emacs
irreal.org·1h
🪄Syntax Macros
A (Nearly) Branchless RESP Request Parser
kevinmontrose.com·5h
🔧Error Recovery
Algebraic Types are not Scary
blog.aiono.dev·6h·
Discuss: Lobsters, Hacker News
✅Type Checking
Effective Software Engineering with Claude Code
reddit.com·4h·
Discuss: r/ClaudeAI
⚡Interpreter Optimization
ECMAScript TC39 proposal-pattern-matching
github.com·3h·
Discuss: Hacker News
🎯Pattern Matching
RustGPT: A pure-Rust transformer LLM built from scratch
dev.to·4h·
Discuss: DEV
🏗️Cranelift
Semantic Dictionary Encoding
falvotech.com·2h·
Discuss: Hacker News
🗂️Type Indexing
Quiz: What Does -> Mean in Python Function Definitions?
realpython.com·5h
🌊Gradual Typing
What happens when you run a program?
dev.to·1h·
Discuss: DEV
📜Bytecode Interpreters
beginner seeking help to understand HTTP requests in C
reddit.com·4h·
Discuss: r/C_Programming
🌉Language Bindings
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·8h
🪢Rope Data Structures
Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·4d·
Discuss: Hacker News
🔮Type Inference Visualization
Which LLM Should I Use as a Developer?
idiallo.com·1d
🎮Language Ergonomics
Fil's C Compiler
fil-c.org·1d·
Discuss: Hacker News
🏗️LLVM